Stepwise refinement of sequence diagrams with soft real-time constraints
نویسندگان
چکیده
Article history: Received 6 July 2012 Received in revised form 4 January 2013 Accepted 12 August 2014 Available online 25 March 2015
منابع مشابه
Stepwise refinement of sequence diagrams with soft real - time requirements
UML sequence diagrams and similar notations are much used to specify computer systems, serving for example as specifications for programmers, or as a means for validating requirements. When specifying and analyzing computer systems, probabilities are often essential, in particular for capturing soft real-time requirements. It is also important to be able to specify systems at different levels o...
متن کاملSpecification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams
Soft real-time requirements are often related to communication in distributed systems. Therefore it is interesting to understand how UML sequence diagrams can be used to specify such requirements. We propose a way of integrating soft real-time requirements in sequence diagram specifications by adding probabilities to timed sequence diagrams. Our approach builds on timed STAIRS, which is an appr...
متن کاملOperational analysis of sequence diagram specifications
This thesis is concerned with operational analysis of UML 2.x sequence diagram specifications. By operational analysis we mean analysis based on a characterization of the executions of sequence diagrams, or in other words an operational semantics for sequence diagrams. We define two methods for analysis of sequence diagram specifications – refinement verification and refinement testing – and bo...
متن کاملAdding Soft Real-Time Requirements in a Step-Wise Development Process
ion, depending on the purpose of the particular specification. Figure 1 Sending SMS messages from a web portal. The user enters the message text and address to the web portal (1), which calls the web service provided by the telephone company (2). The SMS message is then sent to the mobile phone (3) 69 Telektronikk 1.2009 ISSN 0085-7130 © Telenor ASA 2009 70 Telektronikk 1.2009 informally illust...
متن کاملFormally Ensuring Time Constraints in a Development Process
This paper presents a method for the development of systems composed of communicating components that satisfy time constraints, by stepwise refinement. The main result is the formal proof of correctness of a refinement with time constraints. The method is illustrated by some examples. It is issued from studies on real-time embedded systems, but should apply to the specification of other executi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Comput. Syst. Sci.
دوره 81 شماره
صفحات -
تاریخ انتشار 2015